function XMLNaarTekst(s){ 
	s= s.replace(/&lt;/g,'<');
  s= s.replace(/&gt;/g,'>');
  s= s.replace(/&amp;/g,'&');
  return s
}

function geefText(elem){
	 return XMLNaarTekst((elem.text != undefined)? elem.text : elem.textContent);
}
